$r$$\downarrow$xmn $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$r$$\mid$, =$_{b}$$r$, $\leq_{b}$$r$, $\ast$$r$, 1$r$, $\lambda$$z$.$z$$>$